VDict mobile



stratified equality not found. Suggestions:

ASL+
EQLog
EQLOG
extensionality
extensional
intensional
extensional equality
constraint
equational logic
TABLOG